Mingsheng Ying (u. A.) | Model Checking Quantum Systems | Buch |

Model-checking Quantum Systems: Principles And Algorithms By Ying

Principles Of Model Checking | Christel Baier (u. A.) | Englisch |

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Doron A. Peled (u. A.) | Model Checking And Artificial Intelligence |

Raghavendra K. R. | Model-checking Infinite State Systems For

Model-checking Infinite State Systems For Information Flow Security

Malkhaz Mumladze (u. A.) | Some Models Of The Quantum Physical Systems

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...